Type-checking move_square
...action passes type checking.
Type-checking move_two
...action passes type checking.
Type-checking move_l_right
...action passes type checking.
Type-checking move_l_left
...action passes type checking.
Type-checking move_l_up
...action passes type checking.
Type-checking move_l_down
...action passes type checking.
Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 9
1:
(move_l_down f2-0f f3-0f f3-1f f4-0f f4-1f rightl0)
 
2:
(move_two f0-0f f1-0f f2-0f straight0)
 
3:
(move_two f1-1f f2-1f f3-1f straight2)
 
4:
(move_square f0-1f f1-1f square0)
 
5:
(move_two f0-2f f1-2f f2-3f straight1)
 
6:
(move_two f1-2f f2-3f f3-2f straight1)
 
7:
(move_square f2-2f f3-3f square1)
 
8:
(move_square f1-1f f2-2f square0)
 
9:
(move_l_down f3-0f f4-0f f4-1f f5-0f f5-1f rightl0)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (clear f4-0f)
Deleting (clear f4-1f)
Deleting (at_right_l rightl0 f2-0f f3-0f f3-1f)
Adding (clear f3-1f)
Adding (clear f2-0f)
Adding (at_right_l rightl0 f3-0f f4-0f f4-1f)
Updating (total-cost) (0) by 3 increase

Checking next happening (time 2)
Deleting (clear f2-0f)
Deleting (at_two straight0 f0-0f f1-0f)
Adding (clear f0-0f)
Adding (at_two straight0 f1-0f f2-0f)
Updating (total-cost) (3) by 2 increase

Checking next happening (time 3)
Deleting (clear f3-1f)
Deleting (at_two straight2 f1-1f f2-1f)
Adding (clear f1-1f)
Adding (at_two straight2 f2-1f f3-1f)
Updating (total-cost) (5) by 2 increase

Checking next happening (time 4)
Deleting (clear f1-1f)
Deleting (at_square square0 f0-1f)
Adding (clear f0-1f)
Adding (at_square square0 f1-1f)
Updating (total-cost) (7) by 1 increase

Checking next happening (time 5)
Plan failed because of unsatisfied precondition in:
(move_two f0-2f f1-2f f2-3f straight1)

Plan failed to execute

Plan Repair Advice:

(move_two f0-2f f1-2f f2-3f straight1) has an unsatisfied precondition at time 5
(Set (connected f1-2f f2-3f) to true)


Failed plans:
 <PATH_REMOVED> 
